fmap :: (a -> b) -> Const c a -> Const c b